formal defect